Nuprl Definition : pi1
12,41
postcript
pdf
t
.1 == let
x
,
y
=
t
in
x
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
pi1
origin